Skip to content

Fix central deployment#489

Merged
redcatbear merged 7 commits intomainfrom
fix-central-deployment
Feb 5, 2026
Merged

Fix central deployment#489
redcatbear merged 7 commits intomainfrom
fix-central-deployment

Conversation

@kaklakariada
Copy link
Contributor

@kaklakariada kaklakariada commented Feb 5, 2026

This explicitly defines properties for maven central portal deployment. It also renames the central-publishing profile and fixes some formatting in readme, user guide and dev guide.

@sonarqubecloud
Copy link

sonarqubecloud bot commented Feb 5, 2026

@redcatbear redcatbear merged commit 056fc79 into main Feb 5, 2026
10 checks passed
@redcatbear redcatbear deleted the fix-central-deployment branch February 5, 2026 16:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants